Orthogonal Transformations for Coloured Petri Nets
نویسندگان
چکیده
In this paper we describe a multirelational approach for performing linear algebraic manipulations of (coloured) Petri nets. In particular , we show how orthogonal transformations can be used in order to describe the net folding and unfolding operations.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملPerformance Evaluation Using Timed Coloured Petri Nets
Coloured Petri nets are Petri nets in which attributes are associated with individual tokens. These attributes are called “colours”. The set of colours is finite. Colors can be modified during transition firings, and the same transition can perform diffcrcn t transformations for tokens of different colours. Colours can thus distinguish tokens, and this allows to “fold” similar subnets of a net ...
متن کاملSafety Preserving Transformations of ColouredPetri Nets ? Julia Padberg
In this paper a formal technique for reening Coloured Petri Nets within the software development process is introduced. This technique | called rule-based reenement | is based on rules and transformations of Coloured Petri Nets preserving safety properties in the sense of MP92]. First steps towards this approach have been suggested for algebraic high-level nets PGE98] and place/transition nets ...
متن کاملA Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example
Intelligent Transport Systems (ITS) tend to be more distributed and embedded. In many cases, continuous physical parameters are part of the systems description. Analysis techniques based on discrete models must integrate such constraints. In this paper, we propose a methodological way to handle such hybrid systems with model checking on Petri Nets and algebraic methods. Our methodology is based...
متن کاملColoured Petri Nets with Parallel Composition to Separate Concerns
We define a modeling language based on combining Coloured Petri Nets with Protocol Modeling semantics. This language combines the expressive power of Coloured Petri Nets in describing behavior with the ability provided by Protocol Modeling to compose partial behavioral descriptions. The resultant language can be considered as a domain specific Coloured Petri Net based language for deterministic...
متن کامل